1. Applications of neural networks in high assurance systems

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Neural networks (Computer science) ; System safety. ; Expert systems (Computer science) ; Validation. ; Expert systems (Computer science) ; Verification. ; Sicherheitskritisches System ; swd. ; Adaptivregelung ; swd. ; Neuronales Netz ; swd. ; Reglerentwu

2. Applications of neural networks in high assurance systems

پدیدآورنده:

کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)

موضوع: Neural networks (Computer science)

رده :
006
.
3
A652
2010

3. Applications of neural networks in high assurance systems

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Neural networks (Computer science),System safety.,Expert systems (Computer science)--Validation,Expert systems (Computer science)--Verification,Sicherheitskritisches System--swd,Adaptivregelung--swd,Neuronales Netz--swd,Reglerentwurf--swd,Aufsatzsammlung--swd

رده :
QA
,
76
.
87
,.
A68
,
2010

4. Automated theorem proving in software engineering

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Software engineering,، Automatic theorem proving

رده :
QA
76
.
758
.
S38
2001

5. Automated theorem proving in software engineering

پدیدآورنده:

کتابخانه: دانشگاه علم و فناوری مازندران (مازندران)

موضوع: Software engineering,Automatic theorem proving

رده :
QA
.
S38
76
.
758
2001

6. Automated theorem proving in software engineering

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Automatic theorem proving.,Génie logiciel.,Software engineering.

7. Automated theorem proving in software engineering

پدیدآورنده:

کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)

موضوع: Software engineering,Automatic theorem proving

رده :
QA
76
.
758
.
S38
2001